Use -Wanalyzer-deref-before-check in GCC 14

* src/marker.c: Work around GCC bug 113253 only if GCC 13.
The GCC bug reportedly will be fixed in GCC 14.

diff --git a/src/marker.c b/src/marker.c
index 0101e144b4d69a70fa58668f7375328c4fca1075..1559dd52719eea71a305eebe17e4709578bbed43 100644 (file)
--- a/src/marker.c
+++ b/src/marker.c
@@ -21,7 +21,7 @@ along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.  */
 #include <config.h>
 
 /* Work around GCC bug 113253.  */
-#if 13 <= __GNUC__
+#if __GNUC__ == 13
 # pragma GCC diagnostic ignored "-Wanalyzer-deref-before-check"
 #endif